$\exists$$e$@$i$.$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:es{-}E(${\it es}$). ((loc($e$) = $i$) $\wedge$ $P$($e$))